Formal Model-Based Approaches for the Development of Composite Systems
نویسنده
چکیده
Présentée et soutenue publiquement le 24 novembre 2011 Jury Rapporteurs : Prof. Mohand-Said Hacid, Université Claude Bernard Lyon 1, France Prof. Paola Inverardi, Università degli Studi dell’Aquila, Italy Prof. Fabrice Kordon, Université Pierre et Marie Curie Paris 6, France Examinateurs : Prof. Philippe Dague, Université Paris Sud, France Prof. Marie-Claude Gaudel, Université Paris Sud, France Prof. Ernesto Pimentel, Universidad de Málaga, Spain
منابع مشابه
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملپیشگیری از بازگشت : معرفی مدل رفتاری - شناختی مارلات
High rate of relapse after apparently successful treatment is a common problem facing with most approaches to treatment of drug dependency. This has led to the development of a variety of strategies for relapse prevention. Among these, Marlatt’s cognitive – behavioural model has received a good deal of attention. It is based on two major axes: Identification of warning sings and development of ...
متن کاملA Novel Two-Stage Mathematical Model for Green Supplier Development
Nowadays, numerous processes of any supply chain are done by suppliers and consequently they cause a massive amount of pollution released to the nature. Hence, greening the suppliers has become a necessity. Although most of green supplier development programs need high investment, formal optimization models that address this issue are very rare. This paper mainly aims to address this prob...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کامل